Making the Railroad Car Safer

Making Electronic Refunds Safer

We show how to break an electronic cash protocol due to van Antwerpen (a refinement of the system proposed by Chaum, Fiat, and Naor), and give an alternative protocol that fixes the problem.

Making carotid surgery safer.

Carotid surgery has been shown to be beneficial in level one randomised trials. However, evidence suggests that current outcomes do not match those published in 1991. In order to make carotid endarterectomy safer in the future, it is essential to optimise patient selection and risk factor management and to maintain an obsessional approach to surgical technique. A planned strategy of monitoring ...

Making safer treatment choices

making blood transfusions safer

transfusion of blood products from an infected person with aids, is meant to infect recipient. blood products such as whole blood, red blood cells, platelets, plasma, frozen blood precipitate, factor viii, factor ix, can be infected with hiv. transmissions from blood factors can be seen in plasma from thousands of donors that were collected in a container and were used to treat hemophilia. bloo...

Making Software Refactorings Safer

Refactorings often require that non-trivial semantic correctness conditions are met. IDEs such as Eclipse’s Java Development Tools rely on simpler, static precondition checks for refactorings. This leads to the phenomenon that a seemingly innocuous refactoring can change the behavior of the program. In this thesis we demonstrate our technique of introducing runtime checks of two particular refa...